{
   "arrays" : [
      {
         "name" : "MemRef_A",
         "sizes" : [ "*", "1024" ],
         "type" : "double"
      },
      {
         "name" : "MemRef_B",
         "sizes" : [ "*", "1056" ],
         "type" : "double"
      },
      {
         "name" : "D",
         "sizes" : [ "270336" ],
         "type" : "double",
	 "allocation" : "heap"
      },
      {
         "name" : "E",
         "sizes" : [ "270336", "200000" ],
         "type" : "double",
	 "allocation" : "heap"
      },
      {
         "name" : "F",
         "sizes" : [ "270336" ],
         "type" : "i64",
	 "allocation" : "heap"
      }
   ],
   "context" : "{  :  }",
   "location" : "pure_c_main.c:11-16",
   "name" : "%for.cond1.preheader---%for.end18",
   "statements" : [
      {
         "accesses" : [
            {
               "kind" : "read",
               "relation" : "{ Stmt2[i0, i1, i2] -> E[i0, 4i2] }"
            },
            {
               "kind" : "read",
               "relation" : "{ Stmt2[i0, i1, i2] -> MemRef_beta[] }"
            },
            {
               "kind" : "write",
               "relation" : "{ Stmt2[i0, i1, i2] -> MemRef_B[i0, i1] }"
            },
            {
               "kind" : "read",
               "relation" : "{ Stmt2[i0, i1, i2] -> E[i0, 1 + 4i2] }"
            },
            {
               "kind" : "write",
               "relation" : "{ Stmt2[i0, i1, i2] -> MemRef_B[i0, i1] }"
            },
            {
               "kind" : "read",
               "relation" : "{ Stmt2[i0, i1, i2] -> E[i0, 2 + 4i2] }"
            },
            {
               "kind" : "write",
               "relation" : "{ Stmt2[i0, i1, i2] -> MemRef_B[i0, i1] }"
            },
            {
               "kind" : "read",
               "relation" : "{ Stmt2[i0, i1, i2] -> E[i0, 3 + 4i2] }"
            },
            {
               "kind" : "write",
               "relation" : "{ Stmt2[i0, i1, i2] -> MemRef_B[i0, i1] }"
            }
         ],
         "domain" : "{ Stmt2[i0, i1, i2] : 0 <= i0 <= 1055 and 0 <= i1 <= 1055 and 0 <= i2 <= 255 }",
         "name" : "Stmt2",
         "schedule" : "{ Stmt2[i0, i1, i2] -> [i0, i1, i2] }"
      }
   ]
}
